(buml:Classifier VendingMachine::EnvironmentInteraction::Gum) (not (exists (e) (buml:general VendingMachine::EnvironmentInteraction::Gum e))) (buml:Classifier VendingMachine::Accumulator) (buml:general VendingMachine::Accumulator VendingMachine::EnvironmentInteraction::GumReceiver) (buml:general VendingMachine::Accumulator VendingMachine::EnvironmentInteraction::MoneyReceiver) (buml:Class VendingMachine::Accumulator) (buml:ownedAttribute VendingMachine::Accumulator VendingMachine::Accumulator::credit) (buml:Property VendingMachine::Accumulator::credit) (buml:type VendingMachine::Accumulator::credit buml:Real)(cbuml:DataType buml:Real) (buml:lower VendingMachine::Accumulator::credit form:1) (buml:upper VendingMachine::Accumulator::credit form:1) (cbuml:visibility VendingMachine::Accumulator::credit cbuml:public) (buml:ownedAttribute VendingMachine::Accumulator VendingMachine::Accumulator::creditEmitter) (buml:Property VendingMachine::Accumulator::creditEmitter) (buml:aggregation VendingMachine::Accumulator::creditEmitter buml:composite) (buml:type VendingMachine::Accumulator::creditEmitter VendingMachine::EnvironmentInteraction::PortCreditReceiver) (buml:lower VendingMachine::Accumulator::creditEmitter form:1) (buml:upper VendingMachine::Accumulator::creditEmitter form:1) (cbuml:visibility VendingMachine::Accumulator::creditEmitter cbuml:public) (cbuml:Port VendingMachine::Accumulator::creditEmitter) (cbuml:isConjugated VendingMachine::Accumulator::creditEmitter form:true) (not (cbuml:isBehavior VendingMachine::Accumulator::creditEmitter form:true)) (form:port-covers-assemblies VendingMachine::Accumulator::creditEmitter) (form:port-covers-delegations VendingMachine::Accumulator::creditEmitter) (not (form:port-ambiguous-assembly VendingMachine::Accumulator::creditEmitter VendingMachine::EnvironmentInteraction::CreditReceiver VendingMachine::EnvironmentInteraction::CreditReceiver)) (not (exists (e1 e2) (form:port-ambiguous-delegation VendingMachine::Accumulator::creditEmitter e1 e2))) (form:port-related VendingMachine::Accumulator::creditEmitter VendingMachine::GumDispatcher::creditReceiver) (form:port-conn-assembly VendingMachine::Accumulator::creditEmitter VendingMachine::VendingMachineSystem::Connector8) (not (exists(e) (form:port-conn-delegation VendingMachine::Accumulator::creditEmitter e))) (buml:ownedAttribute VendingMachine::Accumulator VendingMachine::Accumulator::gumReceiver) (buml:Property VendingMachine::Accumulator::gumReceiver) (buml:aggregation VendingMachine::Accumulator::gumReceiver buml:composite) (buml:type VendingMachine::Accumulator::gumReceiver VendingMachine::EnvironmentInteraction::GumReceiver) (buml:lower VendingMachine::Accumulator::gumReceiver form:1) (buml:upper VendingMachine::Accumulator::gumReceiver form:1) (cbuml:visibility VendingMachine::Accumulator::gumReceiver cbuml:public) (cbuml:Port VendingMachine::Accumulator::gumReceiver) (not (cbuml:isConjugated VendingMachine::Accumulator::gumReceiver form:true)) (cbuml:isBehavior VendingMachine::Accumulator::gumReceiver form:true) (form:port-covers-assemblies VendingMachine::Accumulator::gumReceiver) (form:port-covers-delegations VendingMachine::Accumulator::gumReceiver) (not (form:port-ambiguous-assembly VendingMachine::Accumulator::gumReceiver VendingMachine::EnvironmentInteraction::PortGumReceiver VendingMachine::EnvironmentInteraction::PortGumReceiver)) (not (exists (e1 e2) (form:port-ambiguous-delegation VendingMachine::Accumulator::gumReceiver e1 e2))) (form:port-related VendingMachine::Accumulator::gumReceiver VendingMachine::GumDispatcher::gumEmitter) (form:port-conn-assembly VendingMachine::Accumulator::gumReceiver VendingMachine::VendingMachineSystem::Connector7) (not (exists(e) (form:port-conn-delegation VendingMachine::Accumulator::gumReceiver e))) (buml:ownedAttribute VendingMachine::Accumulator VendingMachine::Accumulator::moneyReceiver) (buml:Property VendingMachine::Accumulator::moneyReceiver) (buml:aggregation VendingMachine::Accumulator::moneyReceiver buml:composite) (buml:type VendingMachine::Accumulator::moneyReceiver VendingMachine::EnvironmentInteraction::MoneyReceiver) (buml:lower VendingMachine::Accumulator::moneyReceiver form:1) (buml:upper VendingMachine::Accumulator::moneyReceiver form:1) (cbuml:visibility VendingMachine::Accumulator::moneyReceiver cbuml:public) (cbuml:Port VendingMachine::Accumulator::moneyReceiver) (not (cbuml:isConjugated VendingMachine::Accumulator::moneyReceiver form:true)) (cbuml:isBehavior VendingMachine::Accumulator::moneyReceiver form:true) (form:port-covers-assemblies VendingMachine::Accumulator::moneyReceiver) (form:port-covers-delegations VendingMachine::Accumulator::moneyReceiver) (not (exists (e1 e2)(form:port-ambiguous-assembly VendingMachine::Accumulator::moneyReceiver e1 e2))) (not (form:port-ambiguous-delegation VendingMachine::Accumulator::moneyReceiver VendingMachine::EnvironmentInteraction::PortMoneyReceiver VendingMachine::EnvironmentInteraction::PortMoneyReceiver)) (form:port-related VendingMachine::Accumulator::moneyReceiver VendingMachine::VendingMachineSystem::moneyReceiver) (not (exists(e) (form:port-conn-assembly VendingMachine::Accumulator::moneyReceiver e))) (form:port-conn-delegation VendingMachine::Accumulator::moneyReceiver VendingMachine::VendingMachineSystem::Connector6) (buml:classifierBehavior VendingMachine::Accumulator VendingMachine::Accumulator::accumulatorClassifierBehavior) (cbuml:isActive VendingMachine::Accumulator form:true) (not (cbuml:isAbstract VendingMachine::Accumulator form:true)) (not (exists (e) (cbuml:ownedOperation VendingMachine::Accumulator e))) (cbuml:ownedBehavior VendingMachine::Accumulator VendingMachine::Accumulator::accumulatorClassifierBehavior) (buml:Behavior VendingMachine::Accumulator::accumulatorClassifierBehavior) (not (exists (e) (cbuml:ownedReception VendingMachine::Accumulator e))) (buml:Classifier VendingMachine::EnvironmentInteraction::MoneyReceiver) (not (exists (e) (buml:general VendingMachine::EnvironmentInteraction::MoneyReceiver e))) (buml:Class VendingMachine::EnvironmentInteraction::MoneyReceiver) (not (exists (e) (buml:ownedAttribute VendingMachine::EnvironmentInteraction::MoneyReceiver e))) (not (exists (e) (buml:classifierBehavior VendingMachine::EnvironmentInteraction::MoneyReceiver e))) (cbuml:isActive VendingMachine::EnvironmentInteraction::MoneyReceiver form:true) (cbuml:isAbstract VendingMachine::EnvironmentInteraction::MoneyReceiver form:true) (not (exists (e) (cbuml:ownedOperation VendingMachine::EnvironmentInteraction::MoneyReceiver e))) (not (exists (e) (cbuml:ownedBehavior VendingMachine::EnvironmentInteraction::MoneyReceiver e))) (cbuml:Reception VendingMachine::EnvironmentInteraction::MoneyReceiver::ReceptionDime) (cbuml:ownedReception VendingMachine::EnvironmentInteraction::MoneyReceiver VendingMachine::EnvironmentInteraction::MoneyReceiver::ReceptionDime) (cbuml:BehavioralFeature VendingMachine::EnvironmentInteraction::MoneyReceiver::ReceptionDime) (not (cbuml:isAbstract VendingMachine::EnvironmentInteraction::MoneyReceiver::ReceptionDime form:true)) (cbuml:visibility VendingMachine::EnvironmentInteraction::MoneyReceiver::ReceptionDime cbuml:public) (cbuml:Reception VendingMachine::EnvironmentInteraction::MoneyReceiver::ReceptionNickel) (cbuml:ownedReception VendingMachine::EnvironmentInteraction::MoneyReceiver VendingMachine::EnvironmentInteraction::MoneyReceiver::ReceptionNickel) (cbuml:BehavioralFeature VendingMachine::EnvironmentInteraction::MoneyReceiver::ReceptionNickel) (not (cbuml:isAbstract VendingMachine::EnvironmentInteraction::MoneyReceiver::ReceptionNickel form:true)) (cbuml:visibility VendingMachine::EnvironmentInteraction::MoneyReceiver::ReceptionNickel cbuml:public) (buml:Classifier VendingMachine::EnvironmentInteraction::GumReceiver) (not (exists (e) (buml:general VendingMachine::EnvironmentInteraction::GumReceiver e))) (buml:Class VendingMachine::EnvironmentInteraction::GumReceiver) (not (exists (e) (buml:ownedAttribute VendingMachine::EnvironmentInteraction::GumReceiver e))) (not (exists (e) (buml:classifierBehavior VendingMachine::EnvironmentInteraction::GumReceiver e))) (cbuml:isActive VendingMachine::EnvironmentInteraction::GumReceiver form:true) (cbuml:isAbstract VendingMachine::EnvironmentInteraction::GumReceiver form:true) (not (exists (e) (cbuml:ownedOperation VendingMachine::EnvironmentInteraction::GumReceiver e))) (not (exists (e) (cbuml:ownedBehavior VendingMachine::EnvironmentInteraction::GumReceiver e))) (cbuml:Reception VendingMachine::EnvironmentInteraction::GumReceiver::ReceptionGum) (cbuml:ownedReception VendingMachine::EnvironmentInteraction::GumReceiver VendingMachine::EnvironmentInteraction::GumReceiver::ReceptionGum) (cbuml:BehavioralFeature VendingMachine::EnvironmentInteraction::GumReceiver::ReceptionGum) (not (cbuml:isAbstract VendingMachine::EnvironmentInteraction::GumReceiver::ReceptionGum form:true)) (cbuml:visibility VendingMachine::EnvironmentInteraction::GumReceiver::ReceptionGum cbuml:public) (buml:Classifier VendingMachine::Main) (not (exists (e) (buml:general VendingMachine::Main e))) (buml:Class VendingMachine::Main) (not (exists (e) (buml:ownedAttribute VendingMachine::Main e))) (not (exists (e) (buml:classifierBehavior VendingMachine::Main e))) (not (cbuml:isActive VendingMachine::Main form:true)) (not (cbuml:isAbstract VendingMachine::Main form:true)) (not (exists (e) (cbuml:ownedOperation VendingMachine::Main e))) (not (exists (e) (cbuml:ownedBehavior VendingMachine::Main e))) (not (exists (e) (cbuml:ownedReception VendingMachine::Main e))) (buml:Behavior VendingMachine::Main) (buml:Classifier VendingMachine::GumDispatcher) (buml:general VendingMachine::GumDispatcher VendingMachine::EnvironmentInteraction::CreditReceiver) (buml:Class VendingMachine::GumDispatcher) (buml:ownedAttribute VendingMachine::GumDispatcher VendingMachine::GumDispatcher::gumEmitter) (buml:Property VendingMachine::GumDispatcher::gumEmitter) (buml:aggregation VendingMachine::GumDispatcher::gumEmitter buml:composite) (buml:type VendingMachine::GumDispatcher::gumEmitter VendingMachine::EnvironmentInteraction::PortGumReceiver) (buml:lower VendingMachine::GumDispatcher::gumEmitter form:1) (buml:upper VendingMachine::GumDispatcher::gumEmitter form:1) (cbuml:visibility VendingMachine::GumDispatcher::gumEmitter cbuml:public) (cbuml:Port VendingMachine::GumDispatcher::gumEmitter) (cbuml:isConjugated VendingMachine::GumDispatcher::gumEmitter form:true) (not (cbuml:isBehavior VendingMachine::GumDispatcher::gumEmitter form:true)) (form:port-covers-assemblies VendingMachine::GumDispatcher::gumEmitter) (form:port-covers-delegations VendingMachine::GumDispatcher::gumEmitter) (not (form:port-ambiguous-assembly VendingMachine::GumDispatcher::gumEmitter VendingMachine::EnvironmentInteraction::GumReceiver VendingMachine::EnvironmentInteraction::GumReceiver)) (not (form:port-ambiguous-delegation VendingMachine::GumDispatcher::gumEmitter VendingMachine::EnvironmentInteraction::PortGumReceiver VendingMachine::EnvironmentInteraction::PortGumReceiver)) (form:port-related VendingMachine::GumDispatcher::gumEmitter VendingMachine::VendingMachineSystem::gumReceiver) (form:port-related VendingMachine::GumDispatcher::gumEmitter VendingMachine::Accumulator::gumReceiver) (form:port-conn-assembly VendingMachine::GumDispatcher::gumEmitter VendingMachine::VendingMachineSystem::Connector7) (form:port-conn-delegation VendingMachine::GumDispatcher::gumEmitter VendingMachine::VendingMachineSystem::Connector5) (buml:ownedAttribute VendingMachine::GumDispatcher VendingMachine::GumDispatcher::creditReceiver) (buml:Property VendingMachine::GumDispatcher::creditReceiver) (buml:aggregation VendingMachine::GumDispatcher::creditReceiver buml:composite) (buml:type VendingMachine::GumDispatcher::creditReceiver VendingMachine::EnvironmentInteraction::CreditReceiver) (buml:lower VendingMachine::GumDispatcher::creditReceiver form:1) (buml:upper VendingMachine::GumDispatcher::creditReceiver form:1) (cbuml:visibility VendingMachine::GumDispatcher::creditReceiver cbuml:public) (cbuml:Port VendingMachine::GumDispatcher::creditReceiver) (not (cbuml:isConjugated VendingMachine::GumDispatcher::creditReceiver form:true)) (cbuml:isBehavior VendingMachine::GumDispatcher::creditReceiver form:true) (form:port-covers-assemblies VendingMachine::GumDispatcher::creditReceiver) (form:port-covers-delegations VendingMachine::GumDispatcher::creditReceiver) (not (form:port-ambiguous-assembly VendingMachine::GumDispatcher::creditReceiver VendingMachine::EnvironmentInteraction::PortCreditReceiver VendingMachine::EnvironmentInteraction::PortCreditReceiver)) (not (exists (e1 e2) (form:port-ambiguous-delegation VendingMachine::GumDispatcher::creditReceiver e1 e2))) (form:port-related VendingMachine::GumDispatcher::creditReceiver VendingMachine::Accumulator::creditEmitter) (form:port-conn-assembly VendingMachine::GumDispatcher::creditReceiver VendingMachine::VendingMachineSystem::Connector8) (not (exists(e) (form:port-conn-delegation VendingMachine::GumDispatcher::creditReceiver e))) (buml:classifierBehavior VendingMachine::GumDispatcher VendingMachine::GumDispatcher::gumDispatcherClassifierBehavior) (cbuml:isActive VendingMachine::GumDispatcher form:true) (not (cbuml:isAbstract VendingMachine::GumDispatcher form:true)) (not (exists (e) (cbuml:ownedOperation VendingMachine::GumDispatcher e))) (cbuml:ownedBehavior VendingMachine::GumDispatcher VendingMachine::GumDispatcher::gumDispatcherClassifierBehavior) (buml:Behavior VendingMachine::GumDispatcher::gumDispatcherClassifierBehavior) (not (exists (e) (cbuml:ownedReception VendingMachine::GumDispatcher e))) (buml:Classifier VendingMachine::VendingMachineSystem::actSystemClassifierBehavior) (not (exists (e) (buml:general VendingMachine::VendingMachineSystem::actSystemClassifierBehavior e))) (buml:Class VendingMachine::VendingMachineSystem::actSystemClassifierBehavior) (not (exists (e) (buml:ownedAttribute VendingMachine::VendingMachineSystem::actSystemClassifierBehavior e))) (not (exists (e) (buml:classifierBehavior VendingMachine::VendingMachineSystem::actSystemClassifierBehavior e))) (not (cbuml:isActive VendingMachine::VendingMachineSystem::actSystemClassifierBehavior form:true)) (not (cbuml:isAbstract VendingMachine::VendingMachineSystem::actSystemClassifierBehavior form:true)) (not (exists (e) (cbuml:ownedOperation VendingMachine::VendingMachineSystem::actSystemClassifierBehavior e))) (not (exists (e) (cbuml:ownedBehavior VendingMachine::VendingMachineSystem::actSystemClassifierBehavior e))) (not (exists (e) (cbuml:ownedReception VendingMachine::VendingMachineSystem::actSystemClassifierBehavior e))) (buml:Behavior VendingMachine::VendingMachineSystem::actSystemClassifierBehavior) (buml:Classifier VendingMachine::Accumulator::accumulatorClassifierBehavior) (not (exists (e) (buml:general VendingMachine::Accumulator::accumulatorClassifierBehavior e))) (buml:Class VendingMachine::Accumulator::accumulatorClassifierBehavior) (not (exists (e) (buml:ownedAttribute VendingMachine::Accumulator::accumulatorClassifierBehavior e))) (not (exists (e) (buml:classifierBehavior VendingMachine::Accumulator::accumulatorClassifierBehavior e))) (not (cbuml:isActive VendingMachine::Accumulator::accumulatorClassifierBehavior form:true)) (not (cbuml:isAbstract VendingMachine::Accumulator::accumulatorClassifierBehavior form:true)) (not (exists (e) (cbuml:ownedOperation VendingMachine::Accumulator::accumulatorClassifierBehavior e))) (not (exists (e) (cbuml:ownedBehavior VendingMachine::Accumulator::accumulatorClassifierBehavior e))) (not (exists (e) (cbuml:ownedReception VendingMachine::Accumulator::accumulatorClassifierBehavior e))) (buml:Behavior VendingMachine::Accumulator::accumulatorClassifierBehavior) (buml:Classifier VendingMachine::EnvironmentInteraction::CreditReceiver) (not (exists (e) (buml:general VendingMachine::EnvironmentInteraction::CreditReceiver e))) (buml:Class VendingMachine::EnvironmentInteraction::CreditReceiver) (not (exists (e) (buml:ownedAttribute VendingMachine::EnvironmentInteraction::CreditReceiver e))) (not (exists (e) (buml:classifierBehavior VendingMachine::EnvironmentInteraction::CreditReceiver e))) (cbuml:isActive VendingMachine::EnvironmentInteraction::CreditReceiver form:true) (cbuml:isAbstract VendingMachine::EnvironmentInteraction::CreditReceiver form:true) (not (exists (e) (cbuml:ownedOperation VendingMachine::EnvironmentInteraction::CreditReceiver e))) (not (exists (e) (cbuml:ownedBehavior VendingMachine::EnvironmentInteraction::CreditReceiver e))) (cbuml:Reception VendingMachine::EnvironmentInteraction::CreditReceiver::ReceptionCredit) (cbuml:ownedReception VendingMachine::EnvironmentInteraction::CreditReceiver VendingMachine::EnvironmentInteraction::CreditReceiver::ReceptionCredit) (cbuml:BehavioralFeature VendingMachine::EnvironmentInteraction::CreditReceiver::ReceptionCredit) (not (cbuml:isAbstract VendingMachine::EnvironmentInteraction::CreditReceiver::ReceptionCredit form:true)) (cbuml:visibility VendingMachine::EnvironmentInteraction::CreditReceiver::ReceptionCredit cbuml:public) (buml:Classifier VendingMachine::EnvironmentInteraction::PortCreditReceiver::ActivityPortCreditReceiver) (not (exists (e) (buml:general VendingMachine::EnvironmentInteraction::PortCreditReceiver::ActivityPortCreditReceiver e))) (buml:Class VendingMachine::EnvironmentInteraction::PortCreditReceiver::ActivityPortCreditReceiver) (not (exists (e) (buml:ownedAttribute VendingMachine::EnvironmentInteraction::PortCreditReceiver::ActivityPortCreditReceiver e))) (not (exists (e) (buml:classifierBehavior VendingMachine::EnvironmentInteraction::PortCreditReceiver::ActivityPortCreditReceiver e))) (not (cbuml:isActive VendingMachine::EnvironmentInteraction::PortCreditReceiver::ActivityPortCreditReceiver form:true)) (not (cbuml:isAbstract VendingMachine::EnvironmentInteraction::PortCreditReceiver::ActivityPortCreditReceiver form:true)) (not (exists (e) (cbuml:ownedOperation VendingMachine::EnvironmentInteraction::PortCreditReceiver::ActivityPortCreditReceiver e))) (not (exists (e) (cbuml:ownedBehavior VendingMachine::EnvironmentInteraction::PortCreditReceiver::ActivityPortCreditReceiver e))) (not (exists (e) (cbuml:ownedReception VendingMachine::EnvironmentInteraction::PortCreditReceiver::ActivityPortCreditReceiver e))) (buml:Behavior VendingMachine::EnvironmentInteraction::PortCreditReceiver::ActivityPortCreditReceiver) (buml:Classifier VendingMachine::EnvironmentInteraction::PortMoneyReceiver::ActivityPortMoneyReceiver) (not (exists (e) (buml:general VendingMachine::EnvironmentInteraction::PortMoneyReceiver::ActivityPortMoneyReceiver e))) (buml:Class VendingMachine::EnvironmentInteraction::PortMoneyReceiver::ActivityPortMoneyReceiver) (not (exists (e) (buml:ownedAttribute VendingMachine::EnvironmentInteraction::PortMoneyReceiver::ActivityPortMoneyReceiver e))) (not (exists (e) (buml:classifierBehavior VendingMachine::EnvironmentInteraction::PortMoneyReceiver::ActivityPortMoneyReceiver e))) (not (cbuml:isActive VendingMachine::EnvironmentInteraction::PortMoneyReceiver::ActivityPortMoneyReceiver form:true)) (not (cbuml:isAbstract VendingMachine::EnvironmentInteraction::PortMoneyReceiver::ActivityPortMoneyReceiver form:true)) (not (exists (e) (cbuml:ownedOperation VendingMachine::EnvironmentInteraction::PortMoneyReceiver::ActivityPortMoneyReceiver e))) (not (exists (e) (cbuml:ownedBehavior VendingMachine::EnvironmentInteraction::PortMoneyReceiver::ActivityPortMoneyReceiver e))) (not (exists (e) (cbuml:ownedReception VendingMachine::EnvironmentInteraction::PortMoneyReceiver::ActivityPortMoneyReceiver e))) (buml:Behavior VendingMachine::EnvironmentInteraction::PortMoneyReceiver::ActivityPortMoneyReceiver) (buml:Classifier VendingMachine::EnvironmentInteraction::PortGumReceiver::ActivityPortGumReceiver) (not (exists (e) (buml:general VendingMachine::EnvironmentInteraction::PortGumReceiver::ActivityPortGumReceiver e))) (buml:Class VendingMachine::EnvironmentInteraction::PortGumReceiver::ActivityPortGumReceiver) (not (exists (e) (buml:ownedAttribute VendingMachine::EnvironmentInteraction::PortGumReceiver::ActivityPortGumReceiver e))) (not (exists (e) (buml:classifierBehavior VendingMachine::EnvironmentInteraction::PortGumReceiver::ActivityPortGumReceiver e))) (not (cbuml:isActive VendingMachine::EnvironmentInteraction::PortGumReceiver::ActivityPortGumReceiver form:true)) (not (cbuml:isAbstract VendingMachine::EnvironmentInteraction::PortGumReceiver::ActivityPortGumReceiver form:true)) (not (exists (e) (cbuml:ownedOperation VendingMachine::EnvironmentInteraction::PortGumReceiver::ActivityPortGumReceiver e))) (not (exists (e) (cbuml:ownedBehavior VendingMachine::EnvironmentInteraction::PortGumReceiver::ActivityPortGumReceiver e))) (not (exists (e) (cbuml:ownedReception VendingMachine::EnvironmentInteraction::PortGumReceiver::ActivityPortGumReceiver e))) (buml:Behavior VendingMachine::EnvironmentInteraction::PortGumReceiver::ActivityPortGumReceiver) (buml:Classifier VendingMachine::EnvironmentInteraction::PortCreditReceiver) (buml:general VendingMachine::EnvironmentInteraction::PortCreditReceiver VendingMachine::EnvironmentInteraction::CreditReceiver) (buml:Class VendingMachine::EnvironmentInteraction::PortCreditReceiver) (not (exists (e) (buml:ownedAttribute VendingMachine::EnvironmentInteraction::PortCreditReceiver e))) (buml:classifierBehavior VendingMachine::EnvironmentInteraction::PortCreditReceiver VendingMachine::EnvironmentInteraction::PortCreditReceiver::ActivityPortCreditReceiver) (cbuml:isActive VendingMachine::EnvironmentInteraction::PortCreditReceiver form:true) (not (cbuml:isAbstract VendingMachine::EnvironmentInteraction::PortCreditReceiver form:true)) (not (exists (e) (cbuml:ownedOperation VendingMachine::EnvironmentInteraction::PortCreditReceiver e))) (cbuml:ownedBehavior VendingMachine::EnvironmentInteraction::PortCreditReceiver VendingMachine::EnvironmentInteraction::PortCreditReceiver::ActivityPortCreditReceiver) (buml:Behavior VendingMachine::EnvironmentInteraction::PortCreditReceiver::ActivityPortCreditReceiver) (not (exists (e) (cbuml:ownedReception VendingMachine::EnvironmentInteraction::PortCreditReceiver e))) (buml:Classifier VendingMachine::VendingMachineSystem) (not (exists (e) (buml:general VendingMachine::VendingMachineSystem e))) (buml:Class VendingMachine::VendingMachineSystem) (buml:ownedAttribute VendingMachine::VendingMachineSystem VendingMachine::VendingMachineSystem::accumulator) (buml:Property VendingMachine::VendingMachineSystem::accumulator) (buml:aggregation VendingMachine::VendingMachineSystem::accumulator buml:composite) (buml:type VendingMachine::VendingMachineSystem::accumulator VendingMachine::Accumulator) (buml:lower VendingMachine::VendingMachineSystem::accumulator form:1) (buml:upper VendingMachine::VendingMachineSystem::accumulator form:1) (cbuml:visibility VendingMachine::VendingMachineSystem::accumulator cbuml:public) (buml:ownedAttribute VendingMachine::VendingMachineSystem VendingMachine::VendingMachineSystem::gumDispatcher) (buml:Property VendingMachine::VendingMachineSystem::gumDispatcher) (buml:aggregation VendingMachine::VendingMachineSystem::gumDispatcher buml:composite) (buml:type VendingMachine::VendingMachineSystem::gumDispatcher VendingMachine::GumDispatcher) (buml:lower VendingMachine::VendingMachineSystem::gumDispatcher form:1) (buml:upper VendingMachine::VendingMachineSystem::gumDispatcher form:1) (cbuml:visibility VendingMachine::VendingMachineSystem::gumDispatcher cbuml:public) (buml:ownedAttribute VendingMachine::VendingMachineSystem VendingMachine::VendingMachineSystem::moneyReceiver) (buml:Property VendingMachine::VendingMachineSystem::moneyReceiver) (buml:aggregation VendingMachine::VendingMachineSystem::moneyReceiver buml:composite) (buml:type VendingMachine::VendingMachineSystem::moneyReceiver VendingMachine::EnvironmentInteraction::PortMoneyReceiver) (buml:lower VendingMachine::VendingMachineSystem::moneyReceiver form:1) (buml:upper VendingMachine::VendingMachineSystem::moneyReceiver form:1) (cbuml:visibility VendingMachine::VendingMachineSystem::moneyReceiver cbuml:public) (cbuml:Port VendingMachine::VendingMachineSystem::moneyReceiver) (not (cbuml:isConjugated VendingMachine::VendingMachineSystem::moneyReceiver form:true)) (not (cbuml:isBehavior VendingMachine::VendingMachineSystem::moneyReceiver form:true)) (form:port-covers-assemblies VendingMachine::VendingMachineSystem::moneyReceiver) (form:port-covers-delegations VendingMachine::VendingMachineSystem::moneyReceiver) (not (exists (e1 e2)(form:port-ambiguous-assembly VendingMachine::VendingMachineSystem::moneyReceiver e1 e2))) (not (form:port-ambiguous-delegation VendingMachine::VendingMachineSystem::moneyReceiver VendingMachine::EnvironmentInteraction::MoneyReceiver VendingMachine::EnvironmentInteraction::MoneyReceiver)) (form:port-related VendingMachine::VendingMachineSystem::moneyReceiver VendingMachine::Accumulator::moneyReceiver) (not (exists(e) (form:port-conn-assembly VendingMachine::VendingMachineSystem::moneyReceiver e))) (form:port-conn-delegation VendingMachine::VendingMachineSystem::moneyReceiver VendingMachine::VendingMachineSystem::Connector6) (buml:ownedAttribute VendingMachine::VendingMachineSystem VendingMachine::VendingMachineSystem::gumReceiver) (buml:Property VendingMachine::VendingMachineSystem::gumReceiver) (buml:aggregation VendingMachine::VendingMachineSystem::gumReceiver buml:composite) (buml:type VendingMachine::VendingMachineSystem::gumReceiver VendingMachine::EnvironmentInteraction::PortGumReceiver) (buml:lower VendingMachine::VendingMachineSystem::gumReceiver form:1) (buml:upper VendingMachine::VendingMachineSystem::gumReceiver form:1) (cbuml:visibility VendingMachine::VendingMachineSystem::gumReceiver cbuml:public) (cbuml:Port VendingMachine::VendingMachineSystem::gumReceiver) (cbuml:isConjugated VendingMachine::VendingMachineSystem::gumReceiver form:true) (not (cbuml:isBehavior VendingMachine::VendingMachineSystem::gumReceiver form:true)) (form:port-covers-assemblies VendingMachine::VendingMachineSystem::gumReceiver) (form:port-covers-delegations VendingMachine::VendingMachineSystem::gumReceiver) (not (exists (e1 e2)(form:port-ambiguous-assembly VendingMachine::VendingMachineSystem::gumReceiver e1 e2))) (not (form:port-ambiguous-delegation VendingMachine::VendingMachineSystem::gumReceiver VendingMachine::EnvironmentInteraction::PortGumReceiver VendingMachine::EnvironmentInteraction::PortGumReceiver)) (form:port-related VendingMachine::VendingMachineSystem::gumReceiver VendingMachine::GumDispatcher::gumEmitter) (not (exists(e) (form:port-conn-assembly VendingMachine::VendingMachineSystem::gumReceiver e))) (form:port-conn-delegation VendingMachine::VendingMachineSystem::gumReceiver VendingMachine::VendingMachineSystem::Connector5) (buml:classifierBehavior VendingMachine::VendingMachineSystem VendingMachine::VendingMachineSystem::actSystemClassifierBehavior) (cbuml:isActive VendingMachine::VendingMachineSystem form:true) (not (cbuml:isAbstract VendingMachine::VendingMachineSystem form:true)) (not (exists (e) (cbuml:ownedOperation VendingMachine::VendingMachineSystem e))) (cbuml:ownedBehavior VendingMachine::VendingMachineSystem VendingMachine::VendingMachineSystem::actSystemClassifierBehavior) (buml:Behavior VendingMachine::VendingMachineSystem::actSystemClassifierBehavior) (not (exists (e) (cbuml:ownedReception VendingMachine::VendingMachineSystem e))) (cbuml:ownedConnector VendingMachine::VendingMachineSystem VendingMachine::VendingMachineSystem::Connector8) (cbuml:visibility VendingMachine::VendingMachineSystem::Connector8 cbuml:public) (cbuml:Connector VendingMachine::VendingMachineSystem::Connector8) (cbuml:kind VendingMachine::VendingMachineSystem::Connector8 cbuml:assembly) (not (exists (e) (cbuml:type VendingMachine::VendingMachineSystem::Connector8 e))) (cbuml:ConnectorEnd VendingMachine::VendingMachineSystem::Connector81) (cbuml:end VendingMachine::VendingMachineSystem::Connector8 VendingMachine::VendingMachineSystem::Connector81) (cbuml:role VendingMachine::VendingMachineSystem::Connector81 VendingMachine::Accumulator::creditEmitter) (cbuml:partWithPort VendingMachine::VendingMachineSystem::Connector81 VendingMachine::VendingMachineSystem::accumulator) (cbuml:lower VendingMachine::VendingMachineSystem::Connector81 form:1) (cbuml:upper VendingMachine::VendingMachineSystem::Connector81 form:1) (not (form:conform-type-and-multiplicity VendingMachine::VendingMachineSystem::Connector81 form:true)) (not (form:is-navegable VendingMachine::VendingMachineSystem::Connector81 form:true)) (not (form:directed-to-port-owner VendingMachine::VendingMachineSystem::Connector81 form:true)) (cbuml:ConnectorEnd VendingMachine::VendingMachineSystem::Connector82) (cbuml:end VendingMachine::VendingMachineSystem::Connector8 VendingMachine::VendingMachineSystem::Connector82) (cbuml:role VendingMachine::VendingMachineSystem::Connector82 VendingMachine::GumDispatcher::creditReceiver) (cbuml:partWithPort VendingMachine::VendingMachineSystem::Connector82 VendingMachine::VendingMachineSystem::gumDispatcher) (cbuml:lower VendingMachine::VendingMachineSystem::Connector82 form:1) (cbuml:upper VendingMachine::VendingMachineSystem::Connector82 form:1) (not (form:conform-type-and-multiplicity VendingMachine::VendingMachineSystem::Connector82 form:true)) (not (form:is-navegable VendingMachine::VendingMachineSystem::Connector82 form:true)) (not (form:directed-to-port-owner VendingMachine::VendingMachineSystem::Connector82 form:true)) (form:end-size VendingMachine::VendingMachineSystem::Connector8 form:2) (form:connector-end-related VendingMachine::VendingMachineSystem::Connector81 VendingMachine::VendingMachineSystem::Connector82) (cbuml:ownedConnector VendingMachine::VendingMachineSystem VendingMachine::VendingMachineSystem::Connector5) (cbuml:visibility VendingMachine::VendingMachineSystem::Connector5 cbuml:public) (cbuml:Connector VendingMachine::VendingMachineSystem::Connector5) (cbuml:kind VendingMachine::VendingMachineSystem::Connector5 cbuml:delegation) (not (exists (e) (cbuml:type VendingMachine::VendingMachineSystem::Connector5 e))) (cbuml:ConnectorEnd VendingMachine::VendingMachineSystem::Connector51) (cbuml:end VendingMachine::VendingMachineSystem::Connector5 VendingMachine::VendingMachineSystem::Connector51) (cbuml:role VendingMachine::VendingMachineSystem::Connector51 VendingMachine::GumDispatcher::gumEmitter) (cbuml:partWithPort VendingMachine::VendingMachineSystem::Connector51 VendingMachine::VendingMachineSystem::gumDispatcher) (cbuml:lower VendingMachine::VendingMachineSystem::Connector51 form:1) (cbuml:upper VendingMachine::VendingMachineSystem::Connector51 form:1) (not (form:conform-type-and-multiplicity VendingMachine::VendingMachineSystem::Connector51 form:true)) (not (form:is-navegable VendingMachine::VendingMachineSystem::Connector51 form:true)) (not (form:directed-to-port-owner VendingMachine::VendingMachineSystem::Connector51 form:true)) (cbuml:ConnectorEnd VendingMachine::VendingMachineSystem::Connector52) (cbuml:end VendingMachine::VendingMachineSystem::Connector5 VendingMachine::VendingMachineSystem::Connector52) (cbuml:role VendingMachine::VendingMachineSystem::Connector52 VendingMachine::VendingMachineSystem::gumReceiver) (not (exists (e) (cbuml:partWithPort VendingMachine::VendingMachineSystem::Connector52 e))) (cbuml:lower VendingMachine::VendingMachineSystem::Connector52 form:1) (cbuml:upper VendingMachine::VendingMachineSystem::Connector52 form:1) (not (form:conform-type-and-multiplicity VendingMachine::VendingMachineSystem::Connector52 form:true)) (not (form:is-navegable VendingMachine::VendingMachineSystem::Connector52 form:true)) (not (form:directed-to-port-owner VendingMachine::VendingMachineSystem::Connector52 form:true)) (form:end-size VendingMachine::VendingMachineSystem::Connector5 form:2) (form:connector-end-related VendingMachine::VendingMachineSystem::Connector51 VendingMachine::VendingMachineSystem::Connector52) (cbuml:ownedConnector VendingMachine::VendingMachineSystem VendingMachine::VendingMachineSystem::Connector7) (cbuml:visibility VendingMachine::VendingMachineSystem::Connector7 cbuml:public) (cbuml:Connector VendingMachine::VendingMachineSystem::Connector7) (cbuml:kind VendingMachine::VendingMachineSystem::Connector7 cbuml:assembly) (not (exists (e) (cbuml:type VendingMachine::VendingMachineSystem::Connector7 e))) (cbuml:ConnectorEnd VendingMachine::VendingMachineSystem::Connector71) (cbuml:end VendingMachine::VendingMachineSystem::Connector7 VendingMachine::VendingMachineSystem::Connector71) (cbuml:role VendingMachine::VendingMachineSystem::Connector71 VendingMachine::GumDispatcher::gumEmitter) (cbuml:partWithPort VendingMachine::VendingMachineSystem::Connector71 VendingMachine::VendingMachineSystem::gumDispatcher) (cbuml:lower VendingMachine::VendingMachineSystem::Connector71 form:1) (cbuml:upper VendingMachine::VendingMachineSystem::Connector71 form:1) (not (form:conform-type-and-multiplicity VendingMachine::VendingMachineSystem::Connector71 form:true)) (not (form:is-navegable VendingMachine::VendingMachineSystem::Connector71 form:true)) (not (form:directed-to-port-owner VendingMachine::VendingMachineSystem::Connector71 form:true)) (cbuml:ConnectorEnd VendingMachine::VendingMachineSystem::Connector72) (cbuml:end VendingMachine::VendingMachineSystem::Connector7 VendingMachine::VendingMachineSystem::Connector72) (cbuml:role VendingMachine::VendingMachineSystem::Connector72 VendingMachine::Accumulator::gumReceiver) (cbuml:partWithPort VendingMachine::VendingMachineSystem::Connector72 VendingMachine::VendingMachineSystem::accumulator) (cbuml:lower VendingMachine::VendingMachineSystem::Connector72 form:1) (cbuml:upper VendingMachine::VendingMachineSystem::Connector72 form:1) (not (form:conform-type-and-multiplicity VendingMachine::VendingMachineSystem::Connector72 form:true)) (not (form:is-navegable VendingMachine::VendingMachineSystem::Connector72 form:true)) (not (form:directed-to-port-owner VendingMachine::VendingMachineSystem::Connector72 form:true)) (form:end-size VendingMachine::VendingMachineSystem::Connector7 form:2) (form:connector-end-related VendingMachine::VendingMachineSystem::Connector71 VendingMachine::VendingMachineSystem::Connector72) (cbuml:ownedConnector VendingMachine::VendingMachineSystem VendingMachine::VendingMachineSystem::Connector6) (cbuml:visibility VendingMachine::VendingMachineSystem::Connector6 cbuml:public) (cbuml:Connector VendingMachine::VendingMachineSystem::Connector6) (cbuml:kind VendingMachine::VendingMachineSystem::Connector6 cbuml:delegation) (not (exists (e) (cbuml:type VendingMachine::VendingMachineSystem::Connector6 e))) (cbuml:ConnectorEnd VendingMachine::VendingMachineSystem::Connector61) (cbuml:end VendingMachine::VendingMachineSystem::Connector6 VendingMachine::VendingMachineSystem::Connector61) (cbuml:role VendingMachine::VendingMachineSystem::Connector61 VendingMachine::VendingMachineSystem::moneyReceiver) (not (exists (e) (cbuml:partWithPort VendingMachine::VendingMachineSystem::Connector61 e))) (cbuml:lower VendingMachine::VendingMachineSystem::Connector61 form:1) (cbuml:upper VendingMachine::VendingMachineSystem::Connector61 form:1) (not (form:conform-type-and-multiplicity VendingMachine::VendingMachineSystem::Connector61 form:true)) (not (form:is-navegable VendingMachine::VendingMachineSystem::Connector61 form:true)) (not (form:directed-to-port-owner VendingMachine::VendingMachineSystem::Connector61 form:true)) (cbuml:ConnectorEnd VendingMachine::VendingMachineSystem::Connector62) (cbuml:end VendingMachine::VendingMachineSystem::Connector6 VendingMachine::VendingMachineSystem::Connector62) (cbuml:role VendingMachine::VendingMachineSystem::Connector62 VendingMachine::Accumulator::moneyReceiver) (cbuml:partWithPort VendingMachine::VendingMachineSystem::Connector62 VendingMachine::VendingMachineSystem::accumulator) (cbuml:lower VendingMachine::VendingMachineSystem::Connector62 form:1) (cbuml:upper VendingMachine::VendingMachineSystem::Connector62 form:1) (not (form:conform-type-and-multiplicity VendingMachine::VendingMachineSystem::Connector62 form:true)) (not (form:is-navegable VendingMachine::VendingMachineSystem::Connector62 form:true)) (not (form:directed-to-port-owner VendingMachine::VendingMachineSystem::Connector62 form:true)) (form:end-size VendingMachine::VendingMachineSystem::Connector6 form:2) (form:connector-end-related VendingMachine::VendingMachineSystem::Connector61 VendingMachine::VendingMachineSystem::Connector62) (buml:Classifier VendingMachine::EnvironmentInteraction::Nickel) (not (exists (e) (buml:general VendingMachine::EnvironmentInteraction::Nickel e))) (buml:Classifier VendingMachine::associations::vendingMachine_gumDispatcher_1) (not (exists (e) (buml:general VendingMachine::associations::vendingMachine_gumDispatcher_1 e))) (cbuml:Association VendingMachine::associations::vendingMachine_gumDispatcher_1) (cbuml:memberEnd VendingMachine::associations::vendingMachine_gumDispatcher_1 VendingMachine::associations::vendingMachine_gumDispatcher_1::vendingMachine) (not (cbuml:navigableOwnedEnd VendingMachine::associations::vendingMachine_gumDispatcher_1 VendingMachine::associations::vendingMachine_gumDispatcher_1::vendingMachine)) (buml:Property VendingMachine::associations::vendingMachine_gumDispatcher_1::vendingMachine) (buml:type VendingMachine::associations::vendingMachine_gumDispatcher_1::vendingMachine VendingMachine::VendingMachineSystem) (buml:lower VendingMachine::associations::vendingMachine_gumDispatcher_1::vendingMachine form:1) (buml:upper VendingMachine::associations::vendingMachine_gumDispatcher_1::vendingMachine form:1) (cbuml:visibility VendingMachine::associations::vendingMachine_gumDispatcher_1::vendingMachine cbuml:public) (cbuml:memberEnd VendingMachine::associations::vendingMachine_gumDispatcher_1 VendingMachine::VendingMachineSystem::gumDispatcher) (not (cbuml:navigableOwnedEnd VendingMachine::associations::vendingMachine_gumDispatcher_1 VendingMachine::VendingMachineSystem::gumDispatcher)) (buml:Property VendingMachine::VendingMachineSystem::gumDispatcher) (buml:aggregation VendingMachine::VendingMachineSystem::gumDispatcher buml:composite) (buml:type VendingMachine::VendingMachineSystem::gumDispatcher VendingMachine::GumDispatcher) (buml:lower VendingMachine::VendingMachineSystem::gumDispatcher form:1) (buml:upper VendingMachine::VendingMachineSystem::gumDispatcher form:1) (cbuml:visibility VendingMachine::VendingMachineSystem::gumDispatcher cbuml:public) (cbuml:ownedEnd VendingMachine::associations::vendingMachine_gumDispatcher_1 VendingMachine::associations::vendingMachine_gumDispatcher_1::vendingMachine) (cbuml:ownedEnd VendingMachine::associations::vendingMachine_gumDispatcher_1 VendingMachine::VendingMachineSystem::gumDispatcher) (not (exists (e) (cbuml:navigableOwnedEnd VendingMachine::associations::vendingMachine_gumDispatcher_1 e))) (buml:Classifier VendingMachine::EnvironmentInteraction::PortMoneyReceiver) (buml:general VendingMachine::EnvironmentInteraction::PortMoneyReceiver VendingMachine::EnvironmentInteraction::MoneyReceiver) (buml:Class VendingMachine::EnvironmentInteraction::PortMoneyReceiver) (not (exists (e) (buml:ownedAttribute VendingMachine::EnvironmentInteraction::PortMoneyReceiver e))) (buml:classifierBehavior VendingMachine::EnvironmentInteraction::PortMoneyReceiver VendingMachine::EnvironmentInteraction::PortMoneyReceiver::ActivityPortMoneyReceiver) (cbuml:isActive VendingMachine::EnvironmentInteraction::PortMoneyReceiver form:true) (not (cbuml:isAbstract VendingMachine::EnvironmentInteraction::PortMoneyReceiver form:true)) (not (exists (e) (cbuml:ownedOperation VendingMachine::EnvironmentInteraction::PortMoneyReceiver e))) (cbuml:ownedBehavior VendingMachine::EnvironmentInteraction::PortMoneyReceiver VendingMachine::EnvironmentInteraction::PortMoneyReceiver::ActivityPortMoneyReceiver) (buml:Behavior VendingMachine::EnvironmentInteraction::PortMoneyReceiver::ActivityPortMoneyReceiver) (not (exists (e) (cbuml:ownedReception VendingMachine::EnvironmentInteraction::PortMoneyReceiver e))) (buml:Classifier VendingMachine::GumDispatcher::gumDispatcherClassifierBehavior) (not (exists (e) (buml:general VendingMachine::GumDispatcher::gumDispatcherClassifierBehavior e))) (buml:Class VendingMachine::GumDispatcher::gumDispatcherClassifierBehavior) (not (exists (e) (buml:ownedAttribute VendingMachine::GumDispatcher::gumDispatcherClassifierBehavior e))) (not (exists (e) (buml:classifierBehavior VendingMachine::GumDispatcher::gumDispatcherClassifierBehavior e))) (not (cbuml:isActive VendingMachine::GumDispatcher::gumDispatcherClassifierBehavior form:true)) (not (cbuml:isAbstract VendingMachine::GumDispatcher::gumDispatcherClassifierBehavior form:true)) (not (exists (e) (cbuml:ownedOperation VendingMachine::GumDispatcher::gumDispatcherClassifierBehavior e))) (not (exists (e) (cbuml:ownedBehavior VendingMachine::GumDispatcher::gumDispatcherClassifierBehavior e))) (not (exists (e) (cbuml:ownedReception VendingMachine::GumDispatcher::gumDispatcherClassifierBehavior e))) (buml:Behavior VendingMachine::GumDispatcher::gumDispatcherClassifierBehavior) (buml:Classifier VendingMachine::EnvironmentInteraction::Credit) (not (exists (e) (buml:general VendingMachine::EnvironmentInteraction::Credit e))) (buml:Classifier VendingMachine::EnvironmentInteraction::Dime) (not (exists (e) (buml:general VendingMachine::EnvironmentInteraction::Dime e))) (buml:Classifier VendingMachine::associations::vendingMachine_accumulator_1) (not (exists (e) (buml:general VendingMachine::associations::vendingMachine_accumulator_1 e))) (cbuml:Association VendingMachine::associations::vendingMachine_accumulator_1) (cbuml:memberEnd VendingMachine::associations::vendingMachine_accumulator_1 VendingMachine::associations::vendingMachine_accumulator_1::vendingMachine) (not (cbuml:navigableOwnedEnd VendingMachine::associations::vendingMachine_accumulator_1 VendingMachine::associations::vendingMachine_accumulator_1::vendingMachine)) (buml:Property VendingMachine::associations::vendingMachine_accumulator_1::vendingMachine) (buml:type VendingMachine::associations::vendingMachine_accumulator_1::vendingMachine VendingMachine::VendingMachineSystem) (buml:lower VendingMachine::associations::vendingMachine_accumulator_1::vendingMachine form:1) (buml:upper VendingMachine::associations::vendingMachine_accumulator_1::vendingMachine form:1) (cbuml:visibility VendingMachine::associations::vendingMachine_accumulator_1::vendingMachine cbuml:public) (cbuml:memberEnd VendingMachine::associations::vendingMachine_accumulator_1 VendingMachine::VendingMachineSystem::accumulator) (not (cbuml:navigableOwnedEnd VendingMachine::associations::vendingMachine_accumulator_1 VendingMachine::VendingMachineSystem::accumulator)) (buml:Property VendingMachine::VendingMachineSystem::accumulator) (buml:aggregation VendingMachine::VendingMachineSystem::accumulator buml:composite) (buml:type VendingMachine::VendingMachineSystem::accumulator VendingMachine::Accumulator) (buml:lower VendingMachine::VendingMachineSystem::accumulator form:1) (buml:upper VendingMachine::VendingMachineSystem::accumulator form:1) (cbuml:visibility VendingMachine::VendingMachineSystem::accumulator cbuml:public) (cbuml:ownedEnd VendingMachine::associations::vendingMachine_accumulator_1 VendingMachine::associations::vendingMachine_accumulator_1::vendingMachine) (cbuml:ownedEnd VendingMachine::associations::vendingMachine_accumulator_1 VendingMachine::VendingMachineSystem::accumulator) (not (exists (e) (cbuml:navigableOwnedEnd VendingMachine::associations::vendingMachine_accumulator_1 e))) (buml:Classifier VendingMachine::EnvironmentInteraction::PortGumReceiver) (buml:general VendingMachine::EnvironmentInteraction::PortGumReceiver VendingMachine::EnvironmentInteraction::GumReceiver) (buml:Class VendingMachine::EnvironmentInteraction::PortGumReceiver) (not (exists (e) (buml:ownedAttribute VendingMachine::EnvironmentInteraction::PortGumReceiver e))) (buml:classifierBehavior VendingMachine::EnvironmentInteraction::PortGumReceiver VendingMachine::EnvironmentInteraction::PortGumReceiver::ActivityPortGumReceiver) (cbuml:isActive VendingMachine::EnvironmentInteraction::PortGumReceiver form:true) (not (cbuml:isAbstract VendingMachine::EnvironmentInteraction::PortGumReceiver form:true)) (not (exists (e) (cbuml:ownedOperation VendingMachine::EnvironmentInteraction::PortGumReceiver e))) (cbuml:ownedBehavior VendingMachine::EnvironmentInteraction::PortGumReceiver VendingMachine::EnvironmentInteraction::PortGumReceiver::ActivityPortGumReceiver) (buml:Behavior VendingMachine::EnvironmentInteraction::PortGumReceiver::ActivityPortGumReceiver) (not (exists (e) (cbuml:ownedReception VendingMachine::EnvironmentInteraction::PortGumReceiver e)))